Two - Variable Logic on Data
نویسنده
چکیده
In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. This model has been already considered in the realm of semistructured data, timed automata and extended temporal logics. This paper shows that satisfiability for the two-variable fragment FO(∼,<,+1) of firstorder logic with data equality test ∼, is decidable over finite and over infinite data words. Here, +1 and < are the usual successor and order predicates, respectively. The satisfiability problem is shown to be at least as hard as reachability in Petri nets. Several extensions of the logic are considered, some remain decidable while some are undecidable.
منابع مشابه
Semi-active Control of Building Structures using Variable Stiffness Device and Fuzzy Logic
Semi-active control devices, also called “Intelligent” control devices, constitute the positive aspects of both the passive and active control devices. A semi-active control strategy is similar to the active control strategy, but this control device has been shown to be more energy-efficient than active devices. A particular type of semi-active control device, the Variable Stiffness Device (VSD...
متن کاملLogic regression and its application in predicting diseases
Regression is one of the most important statistical tools in data analysis and study of the relationship between predictive variables and the response variable. in most issues, regression models and decision tress only can show the main effects of predictor variables on the response and considering interactions between variables does not exceed of two way and ultimately three-way, due to co...
متن کاملVariable Impedance Control for Rehabilitation Robot using Interval Type-2 Fuzzy Logic
In this study, a novel variable impedance control for a lower-limb rehabilitation robotic system using voltage control strategy is presented. The majority of existing control approaches are based on control torque strategy, which require the knowledge of robot dynamics as well as dynamic of patients. This requires the controller to overcome complex problems such as uncertainties and nonlinearit...
متن کاملFuzzy Logic Control of a Switched Reluctance Motor
Because of extreme local saturation at pole tips of excited phase and uncircular shape of rotor and stator, a Swithed Reluctance Motor (SRM) does not have a simple and accurate mathematical model. Therefore, the output control of this motor requires a robust controller which is not based on an accurate model of the process. Fuzzy controllers, to some extent, will satisfy these requirements. Tet...
متن کاملFuzzy Logic Control of a Switched Reluctance Motor
Because of extreme local saturation at pole tips of excited phase and uncircular shape of rotor and stator, a Swithed Reluctance Motor (SRM) does not have a simple and accurate mathematical model. Therefore, the output control of this motor requires a robust controller which is not based on an accurate model of the process. Fuzzy controllers, to some extent, will satisfy these requirements. Tet...
متن کاملPrediction and evaluation of runoff data in south of Qazvin watershed, using a fuzzy logic technique
The important criteria for designing in the most of hydrologic and hydraulic construction projects are based on runoff or peak-flow of water. Mostly, this measure and criterion is calculated or estimated by stochastic data. Another feature of these data that are used in watershed hydrological studies is their impreciseness. Therefore, in this study, in order to deal with uncertainty and impreci...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010